On Williamson and simplicity in modal logic
نویسندگان
چکیده
منابع مشابه
On Quantified Modal Logic
Propositional modal logic is a standard tool in many disciplines, but first-order modal logic is not. There are several reasons for this, including multiplicity of versions and inadequate syntax. In this paper we sketch a syntax and semantics for a natural, well-behaved version of first-order modal logic, and show it copes easily with several familiar difficulties. And we provide tableau proof ...
متن کاملNotes on Mathematical Modal Logic
These notes were written by Wang Yafeng following a course of three intensive lectures on classical themes in mathematical modal logic given by Johan van Benthem in the Berkeley-Stanford Logic Circle, San Francisco, May 2015. Some of this material was collected in the monograph van Benthem [13], [16], other parts come from later publications. We will provide some references to further relevant ...
متن کاملOn an Intuitionistic Modal Logic
In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4—our formulation has several important metatheoretic properties. In addition, we study models of IS4, not in the framework of Kripke semantics, but in the more general framework of category theo...
متن کاملModal Logic, Autumn 2007 FIrst Steps in Modal Logic
Modal logic is sometimes characterized as the logic of necessity and possibility, of “must be” and “may be”. The aim of this book is to present both semantical and syntactical features of the subject and to illustrate gy detailed analysis of the three most popular modal systems S5,S4 and K. The text presupposes some knowledge of classical logic, although the necessary information is briefly rec...
متن کاملTemporal and Modal Logic
We give a comprehensive and unifying survey of the theoretical aspects of Temporal and Modal Logic Note This paper is to appear in the Handbook of Theoretical Computer Science J van Leeuwen managing editor North Holland Pub Co Work supported in part by US NSF Grant CCR ONR Contract N K and Netherlands ZWO grant nf nfb
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Canadian Journal of Philosophy
سال: 2016
ISSN: 0045-5091,1911-0820
DOI: 10.1080/00455091.2015.1132974